IF Validation Environment Tutorial
نویسندگان
چکیده
The core of the toolbox consists of a set of model-based validation components including exhaustive/interactive simulation, on-the-fly temporal logic modelchecking, test case generation and optimal path extraction. In order to control state explosion, the toolbox provides several static analysis tools operating at the source level such as live variable analysis, dead-code elimination and slicing. Finally, the toolbox is connected to commercial environments (such as Rational Rose, Rhapsody, Objecteering, Object Geode) and may be used for validating SDL and UML specifications [1, 6].
منابع مشابه
Development and Usability Evaluation of an Online Tutorial for “How to Write a Proposal” for Medical Sciences Students
Background and Objective: Considering the importance of learning how to write a proposal for students, this study was performed to develop an online tutorial for “How to write a Proposal” for students and to evaluate its usability. Methods: This study is a developmental research and tool design. “Gamified Online Tutorial based on Self-Determination Theory (GOT-STD) Framework" became the basis f...
متن کاملLandmark Paper Reprise – a Tutorial on Verification and Validation of Simulation Models
in this tutorial paper we give a a general introduction to verification and validation of simulation models, define the various validation techniques, and present a a recommended model validation procedure.
متن کاملContext dependent memory in two learning environments: the tutorial room and the operating theatre
BACKGROUND Psychologists have previously demonstrated that information recall is context dependent. However, how this influences the way we deliver medical education is unclear. This study aimed to determine if changing the recall context from the learning context affects the ability of medical students to recall information. METHODS Using a free recall experimental model, fourteen medical st...
متن کاملFun, Simple and Instructive: Towards a Design Theory for a Constructivist Gaming Learning Environment
Creating a design theory of Constructivist Gaming Learning Environment necessitates, among other things, the establishment of meta-design principles. These principles can potentially help designers produce games, where users achieve higher levels of learning. This paper focuses on three key design principles important in this context: Engaging, User Interface Ease of Use, and On Demand and Just...
متن کاملDynamic spatiotemporal brain analyses using high-performance electrical neuroimaging, Part II: A step-by-step tutorial.
Our recently published analytic toolbox (Cacioppo et al., 2014), running under MATLAB environment and Brainstorm, offered a theoretical framework and set of validation studies for the automatic detection of event-related changes in the global pattern and global field power of electrical brain activity. Here, we provide a step-by-step tutorial of this toolbox along with a detailed description of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004